The fast quartic solver

The Fast Bilateral Solver

We present the bilateral solver, a novel algorithm for edge-aware smoothing that combines the flexibility and speed of simple filtering approaches with the accuracy of domain-specific optimization algorithms. Our technique is capable of matching or improving upon state-of-the-art results on several different computer vision tasks (stereo, depth superresolution, colorization, and semantic segmen...

The Fast Bilateral Solver Supplement

This supplement provides additional details on the bilateral solver and its extensions in Sections 1–4, and a plethora of experiments and comparisons to prior work in Section 5. In Section 1 we derive the bilateral-space quadratic objective at the core of the bilateral solver. Section 2 details the bilateral-space pyramid representation used for faster initialization and preconditioning. Sectio...

A Fast, Unstructured Panel Solver

A parallel high-order Boundary Element Method accelerated by the Fast Multipole Method is presented in this report. The case of potential flow about arbitrary geometries will be investigated using this method. The goal of this application is to provide a ”pushbutton” tool for the design of aircraft, where medium-fidelity solutions can be obtained in seconds and not hours or days required by Nav...

XSat: A Fast Floating-Point Satisfiability Solver

The Satisfiability Modulo Theory (SMT) problem over floating-point arithmetic is a major hurdle in applying SMT techniques to real-world floatingpoint code. Solving floating-point constraints is challenging in part because floating-point semantics is difficult to specify or abstract. State-of-the-art SMT solvers still often run into difficulties when solving complex, non-linear floating-

A Fast PDE Solver Environment Page